Optimal stopping in software testing
نویسندگان
چکیده
منابع مشابه
Optimal Stopping Rules for Sequential Hypothesis Testing
Suppose that we are given sample access to an unknown distribution p over n elements and an explicit distribution q over the same n elements. We would like to reject the null hypothesis “p = q” after seeing as few samples as possible, when p 6= q, while we never want to reject the null, when p = q. Well-known results show that Θ( √ n/ 2) samples are necessary and sufficient for distinguishing w...
متن کاملOn Optimal Stopping Problems in Sequential Hypothesis Testing
After a brief survey of a variety of optimal stopping problems in sequential testing theory, we give a unified treatment of these problems by introducing a general class of loss functions and prior distributions. In the context of a one-parameter exponential family, this unified treatment leads to relatively simple sequential tests involving generalized likelihood ratio statistics or mixture li...
متن کاملStopping Rules for the Operational Testing of Safety-Critical Software
Operational testing, which aims to generate sequences of test cases with the same statistical properties as those that would be experienced in real operational use, can be used to obtain quantitative measures of the reliability of software. In the case of safety critical software it is common to demand that all known faults are removed. This means that if there is a failure during the operation...
متن کاملOptimal Stopping Problems
In the last lecture, we have analyzed the behavior of TD(λ) for approximating the costtogo function in autonomous systems. Recall that much of the analysis was based on the idea of sampling states according to their stationary distribution. This was done either explicitly, as was assumed in approximate value iteration, or implicitly through the simulation or observation of system trajectories...
متن کاملOptimal Stopping and Applications
These notes are intended to accompany a Graduate course on Optimal stopping, and in places are a bit brief. They follow the book ‘Optimal Stopping and Freeboundary Problems’ by Peskir and Shiryaev, and more details can generally be found there.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Naval Research Logistics
سال: 2003
ISSN: 0894-069X,1520-6750
DOI: 10.1002/nav.10048